Works by I. J. Heath

( view other items matching `I. J. Heath`, view all matches )
Order:
  1.  15
    Decidable classes of number‐theoretic sentences.I. J. Heath - 1969 - Mathematical Logic Quarterly 15 (26‐29):411-420.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  22
    Decidable classes of number‐theoretic sentences.I. J. Heath - 1969 - Mathematical Logic Quarterly 15 (26-29):411-420.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  19
    Omitting the replacement schema in recursive arithmetic.I. J. Heath - 1967 - Notre Dame Journal of Formal Logic 8 (3):234-238.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation